7 results
Alfred Tarski's work in model theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 869-882
- Print publication:
- December 1986
-
- Article
- Export citation
Axiomatizability by a schema
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-479
- Print publication:
- February 1968
-
- Article
- Export citation
Twenty-eighth annual Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-483
- Print publication:
- December 1962
-
- Article
- Export citation
Abraham Robinson. Complete theories. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1956, VIII + 129 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-174
- Print publication:
- June 1960
-
- Article
- Export citation
A. H. Lightstone and A. Robinson. Syntactical transforms. Transactions of the American Mathematical Society, vol. 86 (1957), pp. 220–245.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-245
- Print publication:
- September 1959
-
- Article
- Export citation
J. Łoś. On the categoricity in power of elementary deductive systems and some related problems. Colloquium mathematicum, vol. 3 no. 1 (1954), pp. 58–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 360-361
- Print publication:
- September 1958
-
- Article
- Export citation
Abraham Robinson. L'application de la logique formelle aux mathématiques. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 51–63. - G. Kurepa, G. Kreisel, A. Robinson. Discussion. Applications scientifiques de la logique mathéatique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, p. 64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-219
- Print publication:
- June 1958
-
- Article
- Export citation